181. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
M38
182. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
2011
183. Media theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Model theory. ; Combinatorial group theory. ; Set theory. ; Modellen (theorie) ; gtt. ; Numerieke wiskunde. ; gtt. ; Systeemtheorie ; gtt. ;
184. Media theory: interdisciplinary applied mathematics
پدیدآورنده : Eppstein, David
کتابخانه: (سمنان)
موضوع : ، Model theory,، Combinatorial group theory,، Set theory,، Modellen )theorie(,، Numerieke wiskunde,، Systeemtheorie
رده :
QA
9
.
7
.
M43
2008
185. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
186. Metamathematical investigation of intuitionistic arithmetic and analysi
پدیدآورنده : / A.S. Troelstra (editor)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Intuitionistic mathematics.,Proof theory.,Model theory.
رده :
QA3
,.
L28
,
no
.,
34
187. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
188. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : / A. S. Troelstra
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Intutitionistic mathematics,Proof Theory,Model Theory
رده :
510
.
8
Me
189. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
190. Model-Based Reasoning in Science and Technology
پدیدآورنده : \ Lorenzo Magnani, Claudia Casadio Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,شناخت (فلسفه),a04,a04,Model-based reasoning.
رده :
E-Book
,
191. Model categories
پدیدآورنده : Mark Hovey
کتابخانه: (کرمان)
موضوع : Model categories )Mathematics(,Homotopy theory,Complexes
رده :
QA
169
.
H68
1999
192. Model categories
پدیدآورنده : Hovey, Mark
کتابخانه: (طهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory,، Complexes
رده :
QA
169
.
H68
1991
193. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip S. )Philip Steven(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
194. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip Steven
کتابخانه: (طهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
195. Model theoretic algebra : With particular emphasis on fields, rings, modules
پدیدآورنده : Jensen, Christian Ulrik, 6391-
کتابخانه: (طهران)
موضوع : ، Model theory,، Algebra
رده :
QA
9
.
7
.
J3
196. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ]and others[
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Model theory
197. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... )et al.(
کتابخانه: (طهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M58
1985
198. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... ]et al.[,Series
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Model theory
رده :
QA
.
M58
9
.
7
1985
199. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... )et al.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M58
1985
200. Model theoretic logics
پدیدآورنده : edited by J. Barwise, and S. Feferman; with cont. by J. Baldwin...]et al.[
کتابخانه: (طهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M58
1985
